Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
81	A general theory of type-and-effect systems via universal algebra Ohad Kammar Gordon Plotkin Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-26 12:49:15
82	School of Mathematics FACULTY OF M ATHEMATICS AND P HYSICAL S CIENCES Clones determined by clausal relations Edith Vargas-García Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2014-10-14 04:14:00 Universal algebra Clone Arity
83	An Empirical Study of the Fault-Proneness of Clone Mutation and Clone Migration Shuai Xie1 , Foutse Khomh2 , Ying Zou1 1 Department of Electrical and Computer Engineering, Queen’s University, Canada. Add to Reading List Source URL: swat.polymtl.ca Language: English - Date: 2013-03-29 15:11:31 Clone Universal algebra Duplicate code Video game clone SM EVM
84	XIII Congreso Dr. Antonio Monteiro ´ Introducci´ on al Algebra Universal Add to Reading List Source URL: www.matematica.uns.edu.ar Language: Spanish - Date: 2015-05-28 11:23:08
85	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:51:33 Algebra Abstract algebra Mathematics Category theory Morphism Functor Category Limit Group action Subcategory Universal property Dual
86	Proceedings Template - WORD Add to Reading List Source URL: oa.upm.es Language: English Mathematical logic Arity Finitary relation Structure Binary relation Inverse relationship Relation Inverse element Inverse Mathematics Universal algebra Abstract algebra
87	Ontology-Based Data Access with Closed Predicates is Inherently Intractable (Sometimes) ˙ Carsten Lutz and Inanc ¸ Seylan Fachbereich Informatik Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-07-31 11:04:35 Universal algebra Parity of a permutation Abox Mathematics Model theory Structure
88	Lectures on Homology of Symbols Mariusz Wodzicki Notes taken by Paweł Witkowski December 2006 Add to Reading List Source URL: toknotes.mimuw.edu.pl Language: English - Date: 2006-12-22 11:23:40 Algebraic topology Symbol Vector bundle Sheaf Universal property Operator theory Spectral theory of ordinary differential equations Mathematical Alphanumeric Symbols Algebra Mathematics Abstract algebra
89	Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions Serdar Erbatur1 , Santiago Escobar2 , Deepak Kapur3 , Zhiqiang Liu4 , Christopher Lynch4 , Catherine Meadows5 , Jos´e Meseguer6 , Paliath Nar Add to Reading List Source URL: csf2012.seas.harvard.edu Language: English - Date: 2012-07-05 18:15:10 Unification Irreducibility Universal algebra Science Philosophy Artificial intelligence Automated theorem proving Cognitive science Protocol analysis
90	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra

UPDATE